From 778c2d897ca44cfa1d99cccfeb649355d58ebd38 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Wed, 19 Sep 2018 01:15:52 +0100
Subject: [PATCH] Always enable documentation, otherwise we can't have the man
 pages

---
 debian/rules | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/debian/rules b/debian/rules
index cf6237abb2..e55c45ac86 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,10 +119,6 @@ else
 configure_flags_deb += -Dwayland-backend=true
 endif
 
-ifeq ($(filter %-doc,$(binaries)),)
-configure_flags_deb += -Ddocumentation=false
-endif
-
 configure_flags_udeb = \
 	-Dbroadway-backend=false \
 	-Dwayland-backend=false \
-- 
2.30.2